def foo[T: str](x: T) -> T:
    ...
